;;; PSL SCORE 1/10/84 Cpu time: 12 ms 21 lisp> (tak 18 12 6) 7 Cpu time: 2757 ms 22 lisp> (tak 18 12 6) 7 Cpu time: 2750 ms 23 lisp> (tak 18 12 6) 7 Cpu time: 2795 ms 24 lisp> (tak 18 12 6) 7 Cpu time: 2798 ms 25 lisp> (tak 18 12 6) 7 Cpu time: 2787 ms 26 lisp> (tak 18 12 6) 7 Cpu time: 2815 ms 27 lisp> (tak 18 12 6) 7 Cpu time: 2741 ms 28 lisp>